Мы напишем программу, которая будет считывать GEN файл и строить одноименное покрытие.

Мы с вами создадим рабочее пространство и именем aml и там файл gen.aml и там же будет altra1.gen

нам нужно узнать команду которая может выполнить это действие. Найти ее можно в справке. Пишем программу.

generate altra
input altra1.gen
lines
quit

Теперь ее можно запустить используя команду &r указав имя файла с AML. На экране будет отчет о работе

А в рабочем пространстве сформировано покрытие.

Как видите, в данном случае все быстрее так как нечего вводить не надо, максимум что это имя файла.